Formalisation and Analysis of Component Dependencies
نویسنده
چکیده
This set of theories presents a formalisation in Isabelle/HOL [3] of data dependencies between components. The approach allows to analyse system structure oriented towards efficient checking of system: it aims at elaborating for a concrete system, which parts of the system (or system model) are necessary to check a given property.
منابع مشابه
Dependency Formalisation for Improved Learning Processes
This paper describes dependencies between knowledge artefacts and how their formalisation can improve some kinds of extremely goal-oriented learning processes. As yet, this kind of learning is already performed by researchers and students, but without formalisation. The paper proceeds with an analysis of requirements for tools for dependency formalisation. As a very domain-specific example, it ...
متن کاملبازشناخت مؤلفه‌های مؤثر بر شکل‌گیری مکان در شهر ایرانی اسلامی مورد پژوهی: مسجد نصیرالملک و مسجد جامع عتیق شیراز
Today's Islamic Iranian city must be an appropriate place to meet the diverse needs of citizens where relations between citizens together, and with the natural and artificial environment around them is set based on the values and Monotheism teachings of the religion of Islam. In fact, it seems that the ultimate goal of the Islamic Iranian city as a habitat is to pave the way of man towards the ...
متن کاملOn Classification of Bivariate Distributions Based on Mutual Information
Among all measures of independence between random variables, mutual information is the only one that is based on information theory. Mutual information takes into account of all kinds of dependencies between variables, i.e., both the linear and non-linear dependencies. In this paper we have classified some well-known bivariate distributions into two classes of distributions based on their mutua...
متن کاملA Methodology for Unified Assessment of Physical and Geographical Dependencies of Wide Area Measurement Systems in Smart Grids
Wide Area Measurement Systems (WAMS) enable real time monitoring and control of smart grids by combining digital measurement devices, communication and control systems. As WAMS consist of various infrastructures, they imply complex dependencies among their underlying systems and components of different types, such as cyber, physical and geographical dependencies. Although several works exist in...
متن کاملSpeckle Reduction in Synthetic Aperture Radar Images in Wavelet Domain Exploiting Intra-scale and Inter-scale Dependencies
Synthetic Aperture Radar (SAR) images are inherently affected by a multiplicative noise-like phenomenon called speckle, which is indeed the nature of all coherent systems. Speckle decreases the performance of almost all the information extraction methods such as classification, segmentation, and change detection, therefore speckle must be suppressed. Despeckling can be applied by the multilooki...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Archive of Formal Proofs
دوره 2014 شماره
صفحات -
تاریخ انتشار 2014